退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于术语重写系统的模式匹配算法?
机译:基于术语重写系统的模式匹配算法
机译:基于变窄的有效重写及其对带有额外变量的术语重写系统的终止
机译:基于缩小的有效重写及其终止重写具有额外变量的重写系统
机译:使用术语重写技术对反应性系统进行基于学习的测试
机译:基于视图的重写算法,用于带有算术比较的联合查询。
机译:可重写的基于DNA的随机访问存储系统
机译:用术语重写系统进行模式匹配算法的系统开发
机译:根据功能依赖关系和联接以及基于联接可派生性的摘要来重写查询
机译:基于算法建模生物网络确定乳腺癌患者长期存活预后的方法
机译:通过紧密耦合结构可满足性求解器和重写算法来增强验证的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。